🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ Logic Synthesis
Boolean Functions, Circuit Optimization, Hardware Compilation, Verification
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9563
posts in
1.90
s
Understanding Automata Theory Through Route Maps
dev.to
·
2h
·
Discuss:
DEV
🎯
Automata theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Cursed circuits #4: PLL frequency multiplier
lcamtuf.substack.com
·
1d
·
Discuss:
Substack
⚡
Circuit Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Silicon to Darude Sand-storm: breaking famous synthesizer DSPs (39c3)
cdn.media.ccc.de
·
6h
🎹
MIDI Archaeology
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
FreeRTOS LED Control: KR260 APU-RPU IPI Communication
hackster.io
·
1h
🔌
Single Board PC
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com
·
1d
·
Discuss:
r/LLM
🔮
Proof Search
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
T3X.ORG nmhbasic/index
t3x.org
·
17h
·
Discuss:
Hacker News
📺
VT100
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Building a Synthesizer, Chapter 13: Building the VCF
craigstuntz.com
·
1d
⚙️
DIY Electronics
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Weight Transformations in Bit-Sliced Crossbar Arrays for Fault Tolerant Computing-in-Memory: Design Techniques and Evaluation Framework
arxiv.org
·
5d
🔢
Bitwise Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Quantum Circuit Simulator – THE QUANTUM LÄND
thequantumlaend.de
·
1d
⚛️
Quantum Circuits
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Treating Functions as Vectors in Hilbert Space
hackaday.com
·
2d
📐
Linear Algebra
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc
·
12h
·
Discuss:
Hacker News
📏
Code Metrics
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
jart/jtckdint: C23 Checked Arithmetic
github.com
·
1d
💧
Liquid Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Improved Simulation of Stabilizer Circuits
dev.to
·
23h
·
Discuss:
DEV
⚛️
Quantum Circuits
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
lets-all-be-stupid-forever/circuit-artist: Circuit Artist is a digital circuit drawing and simulation game.
github.com
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why is calling my asm function from Rust slower than calling it from C?
ohadravid.github.io
·
17h
·
Discuss:
Lobsters
,
Hacker News
,
r/rust
🔩
Systems Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Assertion-First Hardware Design and Formal Verification Services
semiwiki.com
·
4d
🔧
Hardware Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Validated Semantics for LLVM IR
sf.snu.ac.kr
·
20h
✅
Formal Methods
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io
·
15h
·
Discuss:
DEV
🔐
Capability Systems
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Quantum computing in the second quantum century
quantumfrontiers.com
·
1d
·
Discuss:
Hacker News
⚛️
Quantum Circuits
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Virtualization: Theory to Silicon
pooladkhay.com
·
17h
·
Discuss:
Hacker News
👑
RISC-V Privilege
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »